Project-Team Deducteam
Team, Visitors, External Collaborators
Overall Objectives
Objectives
History
Research Program
Logical Frameworks
Interoperability and proof encyclopediae
Interactive theorem proving
Application Domains
Interoperability
Highlights of the Year
New Software and Platforms
Autotheo
CoLoR
Coqine
Dedukti
Holide
HOT
iProver Modulo
mSAT
Rainbow
Krajono
archsat
lrat2dk
ekstrakto
SizeChangeTool
New Results
λ
Π
-calculus modulo theory
Dedukti
Theories
Interoperability
Drags
SCTL
Partnerships and Cooperations
National Initiatives
International Initiatives
Informal International Partners
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2018
|
Presentation of the Project-Team DEDUCTEAM
|
DEDUCTEAM Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
International Initiatives
Brazil: STIC Amsud.
Argentina: Ecos
China: Inria-NSFC
Previous |
Home
| Next